AMST10.360[360,GF] - www.SailDart.org

perm filename AMST10.360[360,GF] blob sn#784688 filedate 1985-02-07 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T  Fβ∩⊂∧%Hα⊗U@αU`e8β∃@0λ↓U@0λ↓U@0λ↓U @λ↓U 0⊂α∃@⊂α∃@⊂α∃0_α∀`@_α∀`@_α∀@@ α∀@@ α∀@@ α∀ @(α∀ @(α∀↓eπT↓txπS`@8αS@@Hα∪@@Hα∪@@Hα∩`p8∧∩A⊂(¬∩A⊂(¬∩`p8∧⊃(D⊂FCapββiqλ'DJ↓⊂(A↓⊂ (A↓⊂((A↓  (A↓  (A↓⊂((↓!⊂((↓↓⊂((↓p8(∧*↓(βiqλ'A↓⊂('A↓  'A↓ ('A↓ ('A↓ ('↓! ('↓↓0('↓↓0 '↓↓ ('↓↓  '↓↓0%E	! %∧i1"Qλ1@∞πC`Xβ↓%_∧@@E⊂λ∀"∃β↓txαA`dpαBdhαB@Thαα`T`αB`T`αβDXαC $Xα∩`DXα∩@TPα∩@DPα∩@@p↓∩@@hα∩@PXαR`@Xα∩`@PαR`P@β∪@8β∪`_βS!dpε∪a%λβ⊃(D FCapββ)q'D*↓λ(Ap((A↓((A↓⊂ (A↓⊂ (A↓⊂((↓!  (↓↓0 (↓↓0 (↓↓0 (↓↓0 (↓↓0 'A! ('A↓0 'A↓0 'A↓0 'A↓ ('A↓  '↓!⊂('↓↓  '↓↓⊂('↓↓('↓p0'↓P8%DI!⊂%∧)0p"QλQX∞πC`0
∪bdx∀αUλαα`Eλαα`Eλαα`Eλαα`Eλαβ%αT@0↓∀@(α∀@(α∀↓UεSadxεS`@(α∪`@(α∪`@0↓∪`DpαS@@h↓∪@@`α∪@@`α∪@@`α∪@@`α∩btPRBtX
Q(D0
πβapαE	a0'¬Iq((A↓  (A↓  (A↓  (A↓  (A↓0⊂(↓* α@J α↓
 α↓
`(β	ph'C	p α↓	p α↓	p α@Ip '↓)` '↓	` '↓	` %B) X%αi0H"Qλq8
GC`XαA%_∧@ E⊂πT"¬β`txαA@dpαBThαB Thαα@T`αB`D`αβ $XαR`DXα∩`DPαR@DPαα!∧Pαα↓$Pαα↓$Pαα!∧Pαα`TPαB@DXαα@DXαα TXαA`d`αA↓∧hλ∪AdxεT`_↓⊃(D@∞π#apβαP@'B@0P'B@0P(αP@(A↓⊂ (A↓⊂ (A↓⊂ (A↓⊂ (A↓⊂ (↓!((↓↓⊂ (↓↓⊂ (↓↓⊂ (∧*↓λ'DIqλ'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ '↓!('↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ %BP@%α@0P%α@0P%BP@"Q	⊃(
πC`(πSB∀pλSau α∃E α∃E α∀`U_α∀`E_α∀`E_α∀@U⊂α∀@E⊂α∀@E⊂α∀ Uλα∀ Eλα∀ Eλα∩atPλRB∀XπQ(DPπβapεαjPh*C*`X-↓  -↓  -↓⊂(,A⊂ ,A⊂ ,A(,↓ ,↓ ,↓
p(+A	0_∧A	 (∧↓	 (βA) (αAI x%C)@X'↓hT %FcAp∂↓@p0βSa⊂ ∧Sa⊂ ∧Tp0βT @@↓T 0@↓T 08↓T 00↓T@(↓T@ ↓T@_↓T0_↓T0_↓T0⊂α∪`@λαS`pλ↓S``⊂↓S`P_↓S`@(↓S`@(↓S@@0↓S@@8↓S@@8↓S@0@↓S@0H↓S@0H↓S @P↓R`p@β∩A⊂0∧∩A⊂0∧∩`p@β⊃(D`εβapαBI``'β	pP(A
⊂ (A
⊂ (A
((↓
 (↓
 (↓	p('A	p 'A	p 'A	`('↓↓0⊂'↓↓  '↓↓  '↓↓  '↓↓  %E)!(%¬)1_"Q	Qp∂πC`(βB`dp∧α`tp∧α`txβB@uβα@e↓@  H↓ 5↓@  H↓ 5↓@  @↓@ 4xα 08↓ Dxα 08↓ Dxα 00↓@ Dx↓@@00↓@4x↓@@0(↓@@4x↓@@0(↓@@4pα`0 ↓@Dpα`0_↓@@Dpα`0_↓`Dp↓A0_↓`4p↓A0⊂↓@`4p↓A0⊂↓↓4hα↓0⊂↓`Dhα↓` α∪ @ β↓Dh↓A@P ↓S 00α↓ 4h↓A@@(↓S@pα∩```β∩AP∧∩AP∧∩```β⊃(Dp
πβapβ↓ p8'A`PH'A`PH(↓@`8(A p (A p_(@`⊂⊂βj⊂_@@`_(↓⊂⊂αA
 @@P (↓⊂⊂αA
_↓@P_(`0⊂αj_↓@@@_'A0⊂↓A	p ↓@@0 'A0⊂↓A	p_α@0_'@`@⊂↓@ip_α@@ _'↓P⊂A	` α@@⊂ '↓P⊂A	`_β@⊂_'``⊂@i`_βA)P βA)08β↓) HαA) HαA	08β@hT 'EC!p∂α!¬λε∀↓dxλ∪@`0αS@@HαS PPα∪ @PαS @Pα∪ @Pα∪PPα∪@Xα∪@Xα∪@Xα∪@Xα∩`PPαR`@Xα∩`@Xα∩`@Xα∩`@Xα∩`@PαR`@Pα∩`@Pα∩@PPα∩@@PαR@PHα∩`P0β∩b∧`π∪!Dx∧⊃(E
εcapββiqλ'DJ↓⊂(A↓⊂((A↓  (A↓ ((A↓0 (A↓0 (↓! ((↓↓0 (↓↓0 (↓↓ ((↓↓⊂((↓↓('DIqλ'Cipp'A	p '↓)` '↓	` '↓	` %B	 P%αI0@"Q
⊃0
	β`H∧∀!Eπ∪b∧pβ↓@Tpαα ThαB@Dhαα@Thαα@Dhαα@D`αB@D`αα`D`αα`D`αα`D`αα`DXαB@TXαα`DXαα`DXαα`DXαα`DXαα@TXα↓  _α∩`@ α@DPαA@⊂α∩@@(α TPαA↓∀XαA↓∧Xλ∪↓dhε∪a%(αU@E0αU`E8α⊗$("∀C⊃P∂π@`h'Ciq(∧
⊂ βA*⊂ ∧↓*⊂ ∧A
⊂ ∧A
⊂ ∧A
(∧↓* ∧A
 ∧↓* β↓Jx(βIpp'C)p αA)p β↓	p β↓	p β↓	`(β↓	` βA	` βA	` βA0⊂'↓p ↓↓	` βA⊂(%B`H%α@PH%α@`8%B↓ "Q
1P∞πC`X∧↓%_ε E⊂	∀αDxβA@txαB@TpαCDpαβ Dpαβ Dpαβ@$pα∪@TxβT↓%λ¬TA5(∧V eXαS  hα∪@`α∩`P`α∩`@hα∩`@hα∩`@`αR`PPαR`p0β∩B4P	∩@@λε∩`  ∧⊃(E G#ap↓¬	10%EI!8%↓P αA	  αAP %↓P αA	  αAP %@@` βJ ()↓
  )↓
  )↓
⊂((A
⊂ (A
⊂ (A
((↓
 (↓
 (↓	@P%C	0`&αHT *F#ap∂!8∧∩A (¬∩A (¬∩a8∧∪@Xα∪@Xα∪@Xα∪@Xα∪@Xα∩`PPαR`@Xα∩`@Xα∩`@Xα∩`@Xα∩`@Xα∩@PPαR@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@Xα∩@@PαR@@Pα∩@@HαR@@Hα∩@P8αR`P β∩ad`ε∪!$xβ⊃(E0G#apA`p8%α PH%α PH%A`p8&↓↓⊂ &↓↓⊂ &↓↓⊂ &↓ p &Ap &A` &A` &A` &AP &AP &AP_&A@ &A@ &A@_&A@_&A0_&A0_&A  _&A ⊂_'↓⊂_'↓⊂⊂'↓⊂⊂'↓i`0'↓I`('↓(T +FβQp∂ Phα∩@pXβ∩@pXβ∩`Phα∪00↓A 4`↓A @ α∪0(α↓4`↓A @ ↓S0 αA4`↓A λ↓`4`↓A λ↓`4`↓@`0λ↓`4`↓@` ⊂↓@4`↓↓ λ↓@@4`↓`0λ↓@@4`↓`0λ↓@@4X↓@` ⊂↓@4X↓@@0⊂↓@4X↓@@0⊂↓@4X↓@@0⊂↓@$X↓@@ _↓ 4X↓@ 0_↓ 4X↓@ 0⊂↓@ $X↓@  _↓@ $X↓@ _↓@$X↓ 0_↓ 4X↓   ↓ $XαATXαATXα↓ DXα↓ D("⊗β1`∂π@p8αAjH↓B*H↓B*⊂8αAj0 βj0 αA
@ ↓A
@ ↓A
@ ↓↓
P@*B
P8+↓*`(+↓
` *AJ@8*↓j0 A
  ↓↓
  ↓↓
⊂ α↓
 αA
 αA	p β@ip βA	08βAi HαB) HαB)08βAhT ,EcQp∂ p8βRA⊂(∧RA⊂(∧R`p8βS @@α∪ @8α∪ P(αS@@(α∪@@ α∪@@ α∪@@_α∪`@⊂α∪`@λα∪`@λ↓S`@λ↓Teβ∀UαTEα∀Eα∀DxαS`Dxα∪!∧`¬∪↓$h∧⊃(EP
πβapβDJ↓ (¬	q 'A↓ ('A↓  'A↓⊂('A↓((A(,A+⊂ ,↓*p(+↓*P(*A
@()A* ((A*⊂ (↓)p(∧@I`(∧A	P(¬↓	P ¬A	@(¬A	1(%¬)!(%DhT 0E#↓(
AA∀pε∪!dhπS P0αS@0@α⊗ E ∧T↓TpπS"∧`∧ADXβ↓`TPαB DPαα@DPαα@DPαα TPβ↓ tX	Sα4h¬@ dxβAD("_BaP∂π@ 0%B	0@&↓i` '↓	` '↓	` &A  0&A⊂P&D	Qλ&B@0&AA &↓! (&↓!0 &↓↓@ &↓↓@ &↓↓@ &↓↓@ %A!0(%A!0 %A! (%A!⊂(%A@p(%A`@8%∧I!%↓⊂P%@@@0"Q1_E"PH∧∀!4xπ∪AthβAT`β↓`4XαR`DPαR@DPα∩@DPα∩@DPα∩@PP↓∩`@Hα∩``(β∪↓thεSA5βQ(F FCapπAkH,α+⊂@.↓@ .↓@ .↓
00↓↓*x'D	aλ&A`@8&↓!0%A! (%A↓0 %↓!0 %↓↓@ %↓↓@ %↓↓0(%↓↓0(%↓↓0 %↓↓ (%↓↓⊂0%↓ p8%A P@&∧iQ_'α ⊂@'A`00"QQ ¬"P@βT↓$xε∪Adhβ↓ T`αBTXαB@DXαα`DPαB`DP
∩BDP
∩B4Pα∩@DPαβ$PαB TXβ↓ t`λ∪!dp¬Tt("→C↓P∂πAp0+BJ``*C*P(↓A*@(α@j@ *↓
@ &D)A_&∧iQλ)A
0 )↓*  )↓
  )↓
  (A*⊂ (A
⊂ (A
⊂ %Ci!λ%∧)0x"QqX
HαPXβ`U λ∀B5λ
∀ P α@ UαA@@⊂↓T@8α∪`P8α∪`@@α∪`@@α∪`P0αT@ β∀↓TxεSATpα dpα∪@Dpπ∪B∧h	∪αDXβα@dXαβ@DPαC@DPαβ`DPαβ`DPαCdXβAA∧`	S"∀pπ∀!∧("~β⊃H∂π@`0'B	p@(↓j  )↓
  )↓
  (A  0(A⊂P(D
⊃(B@ (A@` (↓@p (↓! (↓↓⊂ (↓↓⊂ (↓↓⊂ (↓↓⊂ 'A!('A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ %B@@H%β X%β X%B@@H"Q
⊃⊂πC`Xα∃e β∃e β∃ D8↓∪A∀h¬S!4p¬∃E α∀`U_α∀`E_α∀`E_α∀@U⊂α∀@E⊂α∀@E⊂α∩b∧P	∩B$Xλ⊃(FP	EE⊃pπ↓
p0+AJp0+AK #@J @(BJ⊂P)α*p +A
`(+↓
` +↓
` +↓
P(*A
P *A
P *A
@(*↓
@ *↓
@ *↓
0()A
0 %@`@(%↓  (%αi P%B	@0"Q
1P
GC`(βSa∧x∧∪`u⊂α∀@5⊂↓T@5λα∀ @(∧T @ ¬T 0(¬T 00∧T 08↓T@(α∀@ ↓T@_↓T0_↓T0⊂α∀↓$xβ@4xαA4xα↓@4x↓A`4x↓B4x↓B 4pαα 4X∧A@tP¬A↓∀P¬A↓∀X∧A@t("≠α18∂π@PP'β	``'BjP *A
P *A
P *↓*@ *↓
@ *↓
@ )A*0 )A
0 )A
0 )↓*  )↓
  )↓
  %D)!_%∧i1λ"Q
Q@E"P_α@ P_αS!@λβS"Th
S`P⊂β@Dpα@`P_α∪@@ α↓Dpα↓@ ↓S@@ α↓4p↓A 0(↓S@0(↓A 4hα↓@ α∪ @ α↓Dhα↓@ α∪ 0(↓A 4h↓A 0(↓S 0(↓A 4`α↓@ α∩@p⊂β@tPβ@@`⊂βR@p⊂β@tPβ@@`⊂βQ(FpF"Q(α↓@@0&B⊂P&E	a_(B@ (A@` (↓@p (↓! (↓↓⊂ (↓↓⊂ (↓↓⊂ (↓↓⊂ 'A!('A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ %B@@H%β X%β X%B@@H"Q
q(E"P@βT↓4xεSAthβ↓ d`αB DXαB@TXαβDPαCDPαβ DPαβ DPαβ DPαβTPαβDPαα`TPαα@TPαBTXβ↓t`πS!Tp¬∀d("≤β1P⊂¬ P0α↓I`@BIa 'E
 @α↓J 0∧↓
⊂(¬↓*⊂(¬A
⊂ ε↓
⊂ ε↓
⊂ ε↓
⊂ ε↓
(¬A*(¬A
(¬↓*(∧A*0βA*8α↓iq⊂'D	p BIp ↓AIp 'A	`('↓	` '↓	` %B) X%αi0H"Q∞⊃(λαPHβ`%λπ∪b∧pλS p βS`8β∩`PHβ∩`@Xα∩@PXα∩@@`α∩@@`α∩@@XαR@@XαR@@PαR@@PαR@@Hβ∩@P8βR`` ∧∪α∀hπSAeβ@E@α⊗E8αU`E8α∃`E8α∀a%⊂ε∀AE_¬⊃(G⊂FbQ(α↓`P8&B  P&B ⊂`'¬* H↓A* 8βj⊂8(AJ⊂((A*⊂ (A
((↓
 (↓
 (↓	0p%∧	!%CHT 9Eαq(
B pλ↓∀↓dxπSB∧hβA Thαα D`αB D`αB@$hβ∪A4xε∀↓E⊂¬S Pβ∩`@Xα∩`@Xα∩`@PαR``0β∩B$PλRB∧X↓a∧("≥αA@∞π↓⊂(A
⊂ (A
⊂ (A
⊂ %DI! %¬	1⊂(↓
 'A)p 'A	p 'A	p β@I`(β↓	` βA	` βA	` βA	` βA	` αAI`p'C
P(AhT :EC⊃(
@ `8β∩A(∧∩A(∧∩`p0βS@@Hα∪@@Hα∪ P@αS @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪P@αS@Hα∪@Hα∪@Hα∪@@αS@0βSα4h	SB$x∧@d("≥BqX
E ⊂@β↓i Pαα) Pαα)0@β↓i`_∧@i`_∧i` β@i` βip_βip_α@ip_α@ip ↓@ip ↓@ip ↓@Ip ↓j_↓J @J0(↓J((↓*("Q∞q@∞¬"PλαCTPβB@tPβA0_βR`P α↓T`↓A @ ↓S0 αA4`↓AP_↓S0_↓@  _↓S0_↓@  _↓S0_↓@ ⊂↓S0⊂↓@ 0⊂↓S0⊂↓@ 0⊂↓S0⊂↓@0λ↓S0λ↓@@0λ↓S ⊂↓@@0λ↓S ⊂↓` ⊂↓∪ λ↓@` λ↓S λ↓@` λ↓∪P αSP αS@(α∪@(α⊃(G@∞παQ(αα↓8&B@`H&B@`H'α↓8)@`p_)@``_*`@_*@` _*@`⊂_+↓*` +↓
P0*`⊂_)@`0_)@@P⊂)`P_(@`p_%B↓8%α@`H%α@`H%B↓8"Q∂⊃P
HαP ∧↓@th¬↓↓∀h¬↓↓∀p∧↓@uλ↓B 5λα↓`5⊂↓A`5⊂↓A@5⊂↓A@5⊂↓A 5⊂α↓5_↓@`5_↓@`5_↓@`%_↓@@5_↓@@% ↓@ % αUU α∃E α∃5_↓T`5⊂↓R`0 ↓R@P⊂↓R@Pλα∩A∀P∧∩@tXα⊃(GPε"Q(β∧)q_'Diq⊂'A↓('Ap((@p(+AJ`0*AJ@0)A* ((A*(∧Ip(∧↓	P0∧A	@0¬↓	1(%¬)!(%DhT εCAp∂↓"Dp∪Bdx
T @Pα∀ @Pα∀ @Pα∀ @Pα∀ @X↓∀Uα∀Eα∀Eα∪`Txα∪`Dxα∪`Dxα∪@Tpα∪@Dpα∪@Dpα∩a$Pε∩ADX¬⊃(@λ
Ecapπjp(+↓J`0*AjP8*α
@H*↓⊂ )A ⊂ )A  )↓   )↓0 (A 0 (A@ (↓ @((↓` 'A ` 'Ap '↓ p '↓↓ &A! &A↓⊂ &A↓⊂(&↓!  &↓↓0 %A!0 %E	!(%¬)1_"Q!0
πC`H∧∀!Eπ∪b∧pβ↓@Tpαα ThαB@Dhαα@Thαα@Dhαα@D`α@@ λ↓`D`α@p⊂α∪@⊂β@@D`α@p⊂α∪@⊂β@@DXα@!λαR`@⊂β@@DXα@p⊂α∩`@⊂β@@DXα@p⊂α∩`@_↓  ⊂αR`@Pα∩`@Pα∩@PPα∩@@PαR@PHα∩`P0β∩b∧`π∪!Dx∧⊃(@_F$αλ@K  ,A+⊂(,↓K0+@`⊂_+@`⊂_+@`⊂_+↓⊂_+`  *A  *A  *@`0 *↓0 *↓0 )A@ )A@ )A@ )↓P )↓P (A` (A` (A` (↓p (↓p('A↓⊂ 'A↓⊂ 'A↓⊂ %B `@%α`@P%α`@P%B `@"QAP∞πC`0	SbTx
SBdpαβ Dpαβ Dx↓β`$8↓∀ X↓∪`@Hα∪`@Hα∪b∀xλSB$pλS@@Hα∪@@Hα∪` X↓⊃`4`↓β`$Xαβ DXαβ DP∩BTP
Rb4("↓#Ah∂π@a('Eiq8(¬*⊂ ∧A
⊂ ∧A
⊂ ∧A
⊂ ∧A
⊂ ∧A
(∧↓* ∧A
 ∧A
 ∧A
 ∧A
 ∧A	p(∧↓)p ∧A	p ∧A	p ∧A	p ∧A	p ∧A	`(∧↓)` ∧A	` ∧A	` ∧A	` ∧A	` ∧A	08βAi HαB) HαB)08βAhT βεCAp∂↓B4x
SbTx
S`PXα∀@Xα∀PPα∀ @Pα∀ @X↓∀ U⊂α∀@E⊂αT`E_α∀`E⊂αT@EλαTUα∪`TpαB@$pαα@DhαB@D`αB`D`αβDX
RBTP
Rb4("↓bAX∂G`@_∧IP(β↓)@0αAi0@↓B	0@↓α) (@`  A	 (↓↓`  %↓08↓↓	  ↓A@0 (AJ⊂((A*⊂((A
⊂ (A
((↓* (↓
 (↓	p('A	p 'A	p 'A	@H%Bi0X&α(T ∧¬c1p∂α!∃⊂¬TA5_∧Ueλ¬T↓TxπSB∀hα@@P⊂αSP_α↓D`α↓@ αR`P α↓ DXα↓ @(α∩`@(α↓ DPαAP αR@@(α↓ DPαA@(α∩`@ α↓TXα↓@_αR`P_α@T`λS!tpεSa5λβT@Dx∧SA4p¬Sa∀("α"a`∂π@pH(αjX(B*0 %@`P α@i (α↓@(%↓ @ α↓)0 α↓0(%A0(↓A	0 ↓A0(%A0 ↓A	0 ↓A0 %A0 ↓A	0 ↓A (%A (↓↓	0 ↓↓0 %A  ↓↓)0 ↓↓  %A  A)0(A⊂ &βI@h&Bi`H'AJ &B)@X&αiPH"Q↓!H
GC``βTaE⊂π∀"¬βA dxαB@DpαB`DpαβTpαβ DhαCThαβ Dhαβ Dhαβ DhαβThαβDhαα`Thαα`DhαB@Dpαα Tpαα DpααTpααDpα↓`Tpα↓`DpαA T`↓ @(α $X∧↓↓∀P∧A↓∀P∧@a∀P∧@a∀XβA t("β↓X∂πA00)BJ `(CJ0α↓Ip(∧↓	`(∧A)P(¬A	P ε↓	@(ε↓)@ π↓	0(π↓	0 πA	0 πA	0 πA	 (π↓)  πA	  πA	  πA	  π↓)  π↓	 (ε↓)0 ε↓	0 ¬A)0(∧A)@ ∧↓)@0α↓IPp'β	pP(AHT _DαQp∂β%(α∃U_β∀`UλβSa∀p¬∪A$x↓@ U_α∀`E_α∀`E_α∀@U⊂α∀@E⊂α∀@E⊂α∀ Uλα∀ Eλα∀ Eλα∩adPλ∩B∧Xπ⊃(C⊂Fcap¬B
0`(Cj↓λ'A``0'A! ('↓!@ '↓!@ '↓!@ '↓!0('@a@ .A+P .↓+@ -A+ (,↓Jp0+↓JP0)AJ 0α@J8αA	p8β↓	`0∧↓	@8∧A	1(%¬)!(%DhT →Ec!p∂αA¬⊂ε∀↓txλS@p0β∪@PPα∪@PPα∪@PPα∪`0PαV`UPβ∃a¬⊂ε∀A5⊂¬∀AE@βV@UXα⊗`UXαR`0hαR@P`αR@P`α∩@PXαR@PPαR``(βRb∀`πSAEβQ(C εβapλA (,AK⊂0,@⊂ +@@ _+` _*@`0_*`0 *@@ )@`@ )`P_(@``_(`p_(`` '@`p 'a &@a⊂_&a _%@a0_%E	!0%¬I!(,k_+A
@P)C
0`*αHT ~Ec!p∂↓B¬λTα∀xλS`Dxα∪`Dxα∪`Dpα∪@Dpα@dpπ∪Atpλ∪! β∪ `@α∪ @PαS 0`α↔E`α∩`0hαR@P`α∩@PXαR@PXα∩@PHβ∩`P0βRb∀`πS!Dx∧⊃(C0FCapε↓j@X)C*⊃(↓`P('A@p('↓A('↓↓0_&A)@(&↓0@%A ⊂X%A⊂p%E	0Hβ↓) @∧A) 8¬A	 0ε↓) (π↓	 (π↓	 (π↓	 (εA) (εA	0 ε↓)0 ε↓	0(∧AI@0αAiQ'βIpX(AhT ≠ECAx∂@@$X
∩bTX
RBTPαα`TPαα@TPαα TPααTX↓α E(αUU α∀`U⊂αT@EλαT EαTDxαS`DpαS@Dpα∪ Thα∪ D`αSD`α∪ $("∞αqP∂πA08)β
⊂p(∧	p8αA)`(∧A)` ¬A	` ¬A	` ¬↓)` ∧AI`(βAI`8↓Aipx(β)ph'∧	P8α↓I@0∧↓)00¬↓	0(¬A)0 ε↓) (ε↓) (ε↓	 (ε↓	0 ¬A)0 ¬↓)00αAiA&CI``(↓hT ≤Ec1p∂α uλ¬T↓TxπS@`(β∪ PHαSPXα∩`P`α∩`@hαR@Ppα∩@@xα∩@@xα∩@@xα∩@@pαR@PhαR`@`β∩`PHβSP0∧SαDh	Sa0λα∀↓⊂αV UHα∩`0PαR@P8β∩@P(βRB∧PπRaDh∧⊃(B εDb⊂ε@J` +↓
` *↓j P(β)px'α`⊂('↓   ↓↓)P(↓A0 &A@ ↓↓)P α↓ (&A0(↓↓)P ↓A@_&A   'αIpH(αJ⊂P)B*0P)A  %@`P ↓↓	 (α↓ (%↓ 0(↓↓) (↓A0 %↓@ ↓A	 (↓A (%A0 A)00BI@x&C)`P(↓J⊂ (A
⊂ )HT ∪εCAp∂α`E β∀`u_βTA¬⊂α 5⊂↓@@5⊂↓@@5⊂↓@ E⊂∧!∃⊂β@A∃⊂β@A∃⊂βa∃βA DxβA@DpβA@Dh∧↓@D`¬↓DXβ @_αR`P_↓@`DXα↓0⊂α∩@P ∧R@P ∧∩@@0β`4Pα↓@P ↓R@P β`DPα@A⊂λαRBdX
∪↓_βS `(αQ(@x	E#a_ε↓
P0*AJP0*AJ` #@jP_*↓*@(*↓*@()AJ0()↓*0'AIP8&↓i00∧i 0∧↓)  ¬↓)  ¬↓) 0β↓i1λ&βiPh'BλT ∨Dc!p∂↓A∧pε∪↓tXλR``0β∩@PPα∩@PPα∩@PHαR`0@β∃ e_βT@uλβ∀ UαTTxβ∪`TxαS`U↓Q`4hα∪d`β∪d`β∪ D("∧α!0
E @H&BiPX'αJ@ *↓
0()A
0 )A
0 )A
 ()↓
  )↓
  )↓	1%∧I!⊂%DλT λD"B
B↓¬λ¬∀!%⊂∧U`E8α∃@U0α∃@E0α∃@E0α∃ U(α∃ E(α∃ E(α∃U α∃E α∃E α∀`U_α∀`DX↓ATPα@@TP¬RA$X∧∪d("ε#⊃P∂πAP@*C
@p)D
 0β↓*  ∧A
  ∧A
  ∧↓*  β↓I`@↓α)P@↓α)P@↓α	`8↓B
⊂ β↓J⊂ ∧↓*(∧A
 ¬↓
 ¬↓
 ¬↓* ¬A
 ¬A	p(¬↓)p ¬A	p ¬A	p ¬↓)p ∧A)p β↓i0@↓αI @↓αI @↓α)00α↓(T 
εβ!(
A@P(αSA_βS! λ∧S"Dhα@@p⊂αS@0_β↓E αA E αA E αA E	∪BDh
SαTXβ@TPαATPα↓ P0↓∩@@(αA DPαa⊂β∩BdX
∪↓⊂∧∪ P0α⊃(AXFBQ(β↓` 'A@@0'α @&E	@(↓α  %A 08↓A	0 αA @ %AP(α↓	 (αA @ %↓`h%↓`h%↓`h%↓Ph%↓P(%↓P(%↓@0α@I  ↓A`@ %↓ @↓A)!(%B ⊂H&↓`08&A`("QβAX∞λcA@↓_ FαW`Uxα↔@UhαU!E_π∀!uλ∪a_βS`P(∧∪@P(α@ DhαA P⊂α∪ @0α↓4hα↓ P ↓S 0(αA 4h↓A @(α∪ 0 αA Dh↓@`P(α∪ 0⊂αA@Dhα @0αS!⊂ β∪!_βSB∧xπ∪AdhεS D`αR`TPαR@DPα∩`$("λ!1(∂π@` 'AIp0'↓i`8'↓I`0'↓I`0'↓I`('↓)`(&AIP0&AIP(&A)P(&A)`_#@i0 %↓I 0%↓I 0%AλT ⊃EC!p∂α@ 0↓∀`@ α∀`@_αT@P_α∀@@ α∀@@_αT P_α∀ @ α∪"$`
∪αDh	∀@ α∀@_αS`P_α∪`@ α∪`@_αS@P_α∩b$P
∩BDX	∪ @ α∪ @ α∪ @_αSP_α∪@ α∪@_αR`P_α∩`@ α∪ 0↓⊃(B(
ε$b⊂αA↓⊂'↓@` &A`` &α @(&↓⊂ α↓	@ A0(%A  ↓A	0 ↓↓0 %A  ↓↓)0 A0 %A⊂ ↓↓)0H↓↓	@8↓↓)@0↓A	P ↓A*@ )A*0 )↓*  (A*⊂ (↓* 'A)p α↓	`(↓↓i` ↓AiP(↓α)P ↓A⊂ &↓ 0_↓↓	@ ↓A  &↓0 ↓i0(↓A⊂ %A@ A	 (αα)  β↓i  β↓I0⊂∧↓λT ∪AbP`∂@DXβ∩`dXβ∩`d`αS D`αSDXαR@TPα∩`$("
α↓P∪λAP⊂+↓
@0)AJ 0(AJ((↓	p('↓)` &A)@(&↓	@ %A)0 %A	0 %↓)  %↓	  %↓	  %↓	  %↓)0 %A	0(&↓	@(&A	P('↓Ip0(↓*⊂_"Q¬⊃
	D 0↓S`Txβ∀e⊂αT`E_αUE αU E(α∃ U0α∃@E0α∃@E0α∃@E0α∃ U(α∃ E(α∃U α∃E_αT@U⊂α∀ UαTDxαS d`β∩`dPβ∩@DX↓⊃(BP
ε"AP¬j@_*j@_*I@_α@@P_&↓@⊂α↓	@(↓@@ 0'↓ λ↓↓
_@ ⊂_)↓
  'A ⊂_&A λ↓↓	 0↓@ 0(%↓@⊂α@i _α@@P_)J⊂_(@j⊂_"Q¬1⊂∧CH↓∀@E⊂α∀@E⊂α∀@EλαRb∧P	∩B$Xλ∀ EαTEα∀Eα∀Eλ↓⊃(B`∧∧! (↓↓	00%Ai08%Ai@0&A)00%↓I (%@hT ↔↓B(α@ DPβ∩@dPβ∩@dXα⊃(Bxεdb⊂
@K` /↓P(.A@(-A+0 -↓+  ,A+(,↓
p(+A
`(*A*P *↓*@ )A*0 )↓*⊂((A
((↓	p('↓)` &A)P &↓)0(%A	 (%↓	  %@HT ≥α"1(
ADhβ∪ dhβ∪ dpα⊃a∀Xα∩@dPβ∩@dPβ∩`D("∞a!_
¬ P '↓I`0'↓I`0'AλpH&↓	00%AI00%AI@(&↓)0(%↓I (%@hT παB1p	A Dpβ∪@dpβ∪@dxα⊃`4p↓S ThαS ThαSd`β∪T`αR`dXβ∩`dXβ∩@dPβ∩@dPβ∩@dPβ∩@dXα⊃(ChεA1(↓∧i1(%E)A_#@i1_%¬)!(%DhT  ¬c1p∂αa¬_¬TAUλ∪a αS``⊂∧S@P_¬∪ P_ε∪ @_εS@_β@d`α`@(α∩`@_αA DXα`@0α∩`0 ↓B4Pα`@8α∩@@_α↓`DPα`@8α∩@0 ↓B4P↓A@0α∩@@_α↓ TPα`@(α∩@@ α@dX↓A↓4Xαa$Xα@a∧`α@a$`βAthλSB∧xεT!∧("⊗b!`∪λ@`X'C)ph'C	p 'A	p '↓)` '↓	` '↓	` &A)P &A	P &A	P &↓)@ &↓	@ &↓	@ %A)0 %A	0 %A	0 %↓)  %↓	  %αi `%β	0P"QQ⊂
	D 8¬∀↓Eε∀!5@α⊗E@α∃`U8α∃`E8α∃`E8α∃@U0α∃@E0α∃@E0α∃ U(α∃ E(α∃ E(α∃U α∃E α∃E α∀`U_α∀`E_α∩aDPεRATX¬Q(F∧¬!BαiP(&↓I@(%A)0 %↓) 0%↓i 8%↓i00&↓λT 	αB@8∂ $Pα∩@dXβ∪thβS`U↓Q(A_εε qp∧j⊂('AiP@%B	 @%↓I0_"QαAλAc@λ↓B@$PαA`TPβ@`tXπS!Dp∧TUλ↓⊃(A(λF@qp@A0⊂%↓↓⊂ %↓↓(%↓ P0%CI@`&BI`8"Qαa⊂
c@λλ∩B$P	∩b∧("¬a⊃(βG@0(&↓i0_↓@I _αI ⊂α@I _↓@i08&↓(T αB⊂h↓A@$xα∪`DpαS@Tpβ∪`Uα∀DxαRa∀P∧RA∧XαQ(EpλF qp∧j0'αI@h%B⊂0%↓`@0%↓! %@A0⊂"Q∂a⊂
↓#` αA 4hβ@`TXλRB∀Pα@`tX↓A T("∨aqHαG@⊂ αA	 0↓AI 0↓AI 0↓AI 0↓AI0 αAλT ∞G#Qp∂βα¬(	∃"%0λU@p(α∃@p(α∃!(α∃!(α∃@λα↓@% ∧U↓λ↓∀`@λ∧∀`@λ∧∀`@λ∧∀@@⊂∧∀@@λ∧T @⊂∧∀ @⊂∧∀ @⊂∧∀↓0λ↓∀↓4xε∪a08↓∪`@_α↓@Dpα↓@0α∪@@ α↓@Dpα↓@0α∩`` πRA⊂πRA⊂πR`` εQ(Ap
G#ap∧D*⊃ (¬)q0'↓@@ α↓	` β↓@ &A ` α↓	P βA@ &Ap α@IP β↓)@(β↓⊂⊂&↓p@&↓p@&↓p@&↓p@%A `H%Ap@%Ap@%Ap@%Ap @I0 βA	0 β↓) (β↓`⊂%↓p αA	  βAP %↓ ` αA	0 αA P %EiA(&E	a⊂"Qβq0
	D!λ↓⊗@EPα⊗@E_¬T!Eπ∪b∧pβa∧pα↓!∀hαA @λα∪ @(¬∪ @(α Dhα↓Pλα∪P α@D`α↓P⊂α∪@ α`D`α↓@_α∪@_α@`DXα@`@_αR`@_α@`DXα`@ α∩`@_α↓DXα@P α∩`@⊂α↓TXα P α∩`@λα↓ DP¬↓ DPα @(αRA⊂(α∩a_β∩b∧`π∪!D`¬SD`α∪Dh↓⊃(BhλF1λCi!λ%∧)0x"Q↓A_πC``↓∃ E(α∃U α∃E α∃E α∀`U_α∀`E_α∀`E_α∀@U⊂α∀@E⊂α∀@DX↓A@_↓R@P⊂α@ dPβ @λβRb∀hεSA$x∧∀eαTEλ↓⊃(@X	FCap¬J0 )↓*⊂0(α	pP&C)1λ%↓`⊂ AI 0A  (%@`0 αj⊂ (A
⊂ (A
((↓
 (↓
 (↓	p('A	p 'A	p 'A	`('↓	` '@HT ≡¬β!8
D %HαVe0βU↓¬_βT!∧x∧∪@t`∧∩`tPβ∩@TXβ∪dhβ∪@uβ∀ e⊂βUe(β∃@U@↓⊃(Cp
F"qXαIP(&AI`0'Aj⊂0)↓J08*AJ`0+Ak⊂0,↓j`@*Aj0@(B
8'α	@@%Ai 8%↓)0⊂"Q@p	D λ↓∩@DPαR`DXα∩`DXαSD`α∪Thα∪ Dhα∪ Tpα∪@Dpα∪@Txα∪`Dxα∪`Uα∀Eα∀Uλα∀ Eλα∀ U⊂α∀@E⊂αT`E_α∀`E_αUE(↓⊃(GXπ∧R⊂	k⊂8+B*`H*B
@0*↓
0()A
0 )A
0 )A
 ()↓
0&B	0H%α) @%B	P8(↓*⊂ (A
((↓
 (↓
 (↓	p('A*8(B* H)B
` "Q∂Q8
	$ 0α∪a∧x∧T↓∃_βU@U8α∃@U0α∃@E0α∃@E0α∃ U(α∃ U0βUa∃@∧Ua%0¬∃!¬ β∃E α∀`U_α∀`E_α∀`E_α∀@UλαSA∧X¬∩A∀P∧∩`D("∨↓⊃ ∪λ@`⊂'A	p 'A	p 'A	p '↓)` '↓	` '↓	` &A)P &A	P &A	P &↓)@ &↓	@ &↓	@ %A)0 %A	0 %A	0 %↓)  %↓	  %↓	  %↓	0⊂"P`↔␈␈x␈␈` ¬←␈x␈}␈␈x␈␈@⊃_%¬)!(%DhT ⊃∧β⊂x∂@@(α∩``_β∩``_β∩``_β∩@p⊂βR@`_β∩@`_β∩@`_β∩@P αR@P αR@P αR@P αR@@(α∩@@(α∩@@(α∩` 8↓⊃(@hβE!qp↓↓	00%AI00%↓i 0%↓I 0%↓) (%↓) (%↓	  %↓	0⊂"Q∧↓P
∧!0_↓D 4`α∧ 4`α∧D`↓D D`↓D 4`↓D 4`↓D 4Xα∧ 4Xα∧DX↓D DX↓D 4X↓D 4X↓D 4Pα∧ 4Pα∧DP∩BtPQ?~ Pπ⊂bR<⊂α>gα>g∂x␈␈␈pβox␈␈}P∧/0 F@@3→@λ}d⊂
↓ε03U=H1Pαf0⊃({⊃β ∧→L`/o0"F@@3→@|>d0
↓ε03⊂+=HqPαf0+λ{∩β ∧→L`co0$F@@3→@↓f>dP
↓ε03_o=I1Pαf0BX{∪β ∧→L`↓∃o0&F@@3→@α?>dp
↓ε03(e=IqPαf0g_{∀β ∧→L`↓\o0(F@@3→@βP>e⊂
↓ε038d=J1Pαf0↓∧λ{∃β ∧→L`α∃/0*F@@3→@∧@}e0
↓ε03H?=JqPαf0↓∨8{⊗β ∧→L`αYO0,F@@3→@¬N}eP
↓ε03XO=L⊃Pαf0↓?8{_C ∧→L`βλ∂01F@@3→@ε*>f 
↓ε03`s=LQPαf0↓Th{→C ∧→L`β2∂03F@@3→@εv>f@
↓ε03p$=M⊃Pαf0↓k({~C ∧→L`β↑o05F@@3→@πT>f`
↓ε03x`=MQPαf0α({≠C ∧→L`∧⊂o07F@@3→@λ8>g
↓ε03↓λ_=N⊃Pαf0α→h{≤C ∧→L`∧@o09F@@3→@	⊂}g 
↓ε03↓⊂F=NQPαf0α-X{≥C ∧→L`∧fO0;F@@3→@	b>g@
↓ε03↓ ∂=O⊃Pαf0αG({≡C ∧→L`¬≤o0ε@@3→@
I}`λ
↓ε03↓(;=@!Pαf0α↑λ{c ∧→L`¬Mo0αε@@3→@;>`(
↓ε03↓8 =@aPαf0α{X{↓c ∧→L`εαO0∧ε@@3→@≥}`H
↓ε03↓@v=A!Pαf0β↔λ{β ∧→L`ε>∂0_F@@3→@
_}c⊂
↓ε03↓PU=F1Pαf0β08{
β ∧→L`εl/0~F@@3→@
q}c0
↓ε03↓`⊃=FqPαf0βHx{∞β ∧→L`π≤∂0≤F@@3→@∞R}b 
↓ε03↓h[=DaPαf0βd8{βc ∧→L`πY/0∨F@@3→@∂D}a
↓ε03↓x.=B⊃Pαf0βxx{ε# ∧→L`π{O0
ε@@3→@⊂∃}aX
↓ε03αY=CAPαf0∧⊃h{λ# ∧→L`λ3O0⊃F@@3→@⊂v}b(
↓ε03α⊂'=DqPαf0∧/8{
β ∧→L`λc∂0∀F@@3→@⊃[>bP
↓ε03α_a=E1Pαf0∧AH{β ∧→L`	λo0↔ε@@3→@∩_}bx
↓ε03α ;=G!Pαf0∧LX{∞c ∧→L`	≥O0πε@@3→@∩E}ch
↓ε03α(+=H↓Pαf0∧Vx{⊗c ∧→L`	?O0.F@@3→@∪∀>f
↓ε03α0S=B!Pαf0∧l8{∧c ∧→L`	[o0
ε@@3→@∪=>a(
↓ε03α8	=BaPαf0∧sλ{¬c ∧→L`	h∂0ε@@3→@∪W}ep
↓ε03α8A=OaPαf0∧zλ{∨c ∧→L`	wO0∞F@@3→@∪v}ap
↓ε03α@-=CqPαf0¬∞({# ∧→L`
1/0εε@@3→@∀f>`X
↓ε03αHu=GAPαf0¬#X{∂C ∧→L`
N/0.ε@@3→@∃*>gX
↓ε03αP␈=OQPαf0¬5λ{∨β ∧→L`
tO0/F@@3→@∃}>b⊂
↓ε03α`
⎇AQPαf0¬F⊂{λβ ∧→L`⊃∨H¬M⊂Aw{⎇xow{⎇x